1. <A> First Course in Mathematical Logic and Set Theory
المؤلف: \ Michael L. O'Leary
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,Mathematics,Set theory,منطق ریاضی,ریاضیات,نظریه مجموعهها,a03,a04,a05,a03,a04,a05
رده :
QA
9
.
O4F5
2016
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. A first course in mathematical logic and set theory /
المؤلف: Michael L. O'Leary
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics,Set theory
رده :
QA9
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. A formalization of set theory without variables
المؤلف: Tarski, Alfred.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
1987
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. A formalization of set theory without variables
المؤلف: Tarski, Alfred
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
1987
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
5. A formalization of set theory without variables
المؤلف: Tarski, Alfred
المکتبة: (طهران)
موضوع: ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
6. A formalization of set theory without variables /
المؤلف: by Alfred Tarski and Steven Givant.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
رده :
QA248
.
T37
1987
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
7. A theory of sets
المؤلف: / Anthony P. Morse
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Set theory,Logic, symbolic and mathematical
رده :
511
.
3
Mo-T
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
8. An Outline of set theory
المؤلف: Henle, James M.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
9. <An> outline of set theory
پدیدآورنده : James M. Henle
موضوع : Set theory,Logic, Symbolic and mathematical
۵ نسخه از این کتاب در ۴ کتابخانه موجود است.
10. An introduction to analysis
المؤلف: Zaring, Wilson M
المکتبة: (طهران)
موضوع: ، Calculus,، Logic, Symbolic and mathematical,، Set theory
رده :
QA
303
.
Z3
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
11. An introduction to analysis
المؤلف: Zaring, Wilson M.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Calculus,، Logic, Symbolic and mathematical,، Set theory
رده :
QA
303
.
Z3
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
12. An introduction to modern mathematics
المؤلف: Monjallon, Albert
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Set theory,، Logic, Symbolic and mathematical,، Abelian groups
رده :
QA
248
.
M513
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
13. An outline of set theory
المؤلف: / James M.Henle
المکتبة: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع: Set theory,Logic,symbolic and mathematical
رده :
511
.
322
H514o
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
14. An outline of set theory
المؤلف: Henle, James M
المکتبة: (طهران)
موضوع: ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
15. An outline of set theory
المؤلف: Henle, James M
المکتبة: (طهران)
موضوع: ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
16. An outline of set theory
المؤلف: / James M. Henle,Henle
المکتبة: كتابخانه مركزي آستان قدس رضوي (ع) - تالار كتابهای خارجی (خراسان رضوی)
موضوع: Set theory,Logic, Symbolic and mathematical
رده :
511
.
322
H514O
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
17. An outline of set theory
المؤلف: James M. Henle,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Set theory,Logic, Symbolic and mathematical
رده :
QA
.
H43
248
1986
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
18. An outline of set theory /
المؤلف: James M. Henle
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Set theory,Ensembles, Théorie des,Logique symbolique et mathématique
رده :
QA248
.
H43
1986
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
19. <An> outline of set theory
المؤلف: James M. Henle
المکتبة: (کرمان)
موضوع: Set theory,Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
20. An outline of set theory
المؤلف: / James M. Henle.,Henley
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Set Theory -- Study and teaching,Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)